861. Topics in mathematical system theory
پدیدآورنده : / R. E. Kalman, P. L. Falb, M. A. Arbib
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : System analysis,Machine theory,Algebras, Linear
رده :
QA402
.
K32
1969
862. Topics in mathematical system theory
پدیدآورنده : Kalman, R. E.)Rudolf Emil(
موضوع : ، System analysis,، Machine theory,، Algebras, Linear
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
863. Topics in mathematical system theory
پدیدآورنده : KALMAN,RUDOLF EMIL
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : SYSTEM ANALYSIS , MACHINE THEORY , ALGEBRAS,LINEAR
رده :
QA
402
.
K32
864. Topics in mathematical system theory
پدیدآورنده : Kalman, Rudolf Emil, 0391-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، System analysis,، Machine theory,، Algebras, Linear
رده :
QA
402
.
K32
865. Topics in the theory of computation
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational complexity ; Congresses. ; Machine theory ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
866. Topics in the theory of computation :
پدیدآورنده : edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity-- Congresses,Computer science-- Mathematics-- Congresses,Machine theory-- Congresses
رده :
QA267
.
I56
1983
867. #Topics in the theory of computation
پدیدآورنده : #edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Computational complexity- Congresses ،Machine theory- Congresses ،Computer science- Mathematics- Congresses
رده :
#
QA
،#.
I56
،#
1985
868. Toward deep neural networks :
پدیدآورنده : Yunong Zhang, Dechao Chen, Chengxu Ye
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Neural networks (Computer science),BUSINESS & ECONOMICS / Statistics,COMPUTERS / General,COMPUTERS / Machine Theory,Neural networks (Computer science)
رده :
QA76
.
87
.
Z47537
2019eb
869. Trace theory for automatic hierarchical verification of speed-independent circuits
پدیدآورنده : David L. Dill.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Integrated circuits -- Very large scale integration.,Sequential machine theory.,Switching circuits.
رده :
TK7868
.
S9
D385
9999
870. Tree automata and languages
پدیدآورنده : edited by Maurice Nivat, Andreas Podelski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Sequential machine theory,، Trees )Graph theory(,، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
T74
1992
871. Word processing in groups
پدیدآورنده : Epstein, David B. A.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Sequential machine theory,، Group theory,، Formal languages
رده :
QA
267
.
5
.
S4E6
872. Words, Semigroups & Transductions :
پدیدآورنده : editors, Masami Ito, Gheorghe Păun, Sheng Yu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal languages.,Group theory.,Machine theory.,Formal languages.,Group theory.,Machine theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA267
.
3
.
W67
2001eb
873. Words, languages, and combinatorics III
پدیدآورنده : editors, Masami Ito, Teruo Imaoka.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Semigroups, Congresses.
874. agent systems :-Formation control of multi
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Multiagent systems. ; Formation control (Machine theory) ; Graph theory. ; Rigidity (Geometry) ; Automatic control ; Mathematical models. ; Robotics ; Mathematical models. ;
875. century of automata theory-A half
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory ; Congresses. ;
876. concurrency theory-CONCUR 2007
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ; Machine theory. ;
877. Discrete structures and automata theory
پدیدآورنده : Dube, Rakesh
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Computer science -- Mathematics,، Machine theory
رده :
QA
76
.
9
.
M35
D38
2006
878. introduction to language and the theory of computation
پدیدآورنده : John C.Martin
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : sequential machine theory,computable functions
رده :
QA
267
.
5
.
S4M29
1996
